Nancy, France - PDFSEARCH.IO - Document Search Engine

Nancy, France
Results: 204

#	Item
101	Forum \| Construction Epinal \| Nancy 2015 5th Wood Construction Forum Program Epinal \| Nancy, France Palais des Congrès Centre Prouvé Nancy Add to Reading List Source URL: mycor.nancy.inra.fr Language: English - Date: 2015-02-11 08:40:26 Henri Poincaré University Vosges Mountains Épinal .fr Departments of France France Nancy France Subdivisions of France
102	Free your imagination!! Old Story : New Story StoryCircles with Nancy Mellon at Pilgrim’s Way Community Bookstore & Secret Garden, Carmel, CA Attend a free introductory session! Add to Reading List Source URL: www.healingstory.com Language: English - Date: 2015-03-30 14:35:34 Nancy France Technology Business Electronic commerce EBay PayPal
103	Towards an oral interface for data entry: The MAUD System Fohr, J.-P. Haton, J.-F. Mari, K. Smaïli and I. Zitouni CRIN-CNRS/ INRIA Lorraine BP239Vandoeuvre Lès-Nancy France e-mail: {fohr, jph, jfmari,smaili, zit Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:43 Speech recognition Natural language processing Markov models Corpus linguistics N-gram Language model Acoustic model Markov chain Syntax Linguistics Computational linguistics Science
104	HUMANITIES II: ROME, CHRISTIANITY, AND THE MIDDLE AGES Professor Nancy Caciola http://humanities.ucsd.edu Hours: Wed, 11-12:30, H & SS 6084 Add to Reading List Source URL: revelle.ucsd.edu Language: English - Date: 2015-03-30 14:43:23 Poetry Logicians Peter Abelard Abelard and Heloise Héloïse d’Argenteuil Marie de France Virgil Heloise Aeneid Literature Anglo-Norman literature Humanities
105	Razvan Barbulescu LIX Équipe GRACE École Polytechnique, bât Alain TuringPalaiseau Cedex Email : Add to Reading List Source URL: www.loria.fr Language: English - Date: 2014-02-16 16:44:22 École Normale Supérieure de Cachan Palaiseau Nancy France France Academia Grandes écoles École Polytechnique Politics of France
106	Some experiments investigating a possible L(1/4) algorithm for the discrete logarithm problem in algebraic curves Maike Massierer∗ LORIA, Campus Scientifique, BP 239, 54506 Vandœuvre-l`es-Nancy Cedex, France maike.mas Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-13 07:45:36 Polynomials Computer algebra Integer factorization algorithms Group theory General number field sieve Factorization of polynomials Logarithm Finite field Index calculus algorithm Abstract algebra Mathematics Algebra
107	Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-09-25 06:38:29 Electoral systems Sociology Ballot Electronic voting Electoral fraud Government Voting system Politics Election fraud Elections
108	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
109	Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-24 07:25:16 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Mathematical logic Theorem Proving in Higher-Order Logics Formal verification Lawrence Paulson Theoretical computer science Mathematics Applied mathematics
110	What is a tree really? Patrick Durusau Society of Biblical Literature TEI 2003 Nancy, France Descriptive versus Procedural Markup Add to Reading List Source URL: www.durusau.net Language: English XML Standard Generalized Markup Language HTML Tag soup Markup languages Computing Technical communication

UPDATE